2

Polymorphic lambda calculus: the Church-Rosser property

Year:
1991
Language:
english
File:
PDF, 366 KB
english, 1991
5

Functional interpretation of the β-rule

Year:
1985
Language:
english
File:
PDF, 945 KB
english, 1985
6

Church-Rosser theorem for typed functional systems

Year:
1985
Language:
english
File:
PDF, 625 KB
english, 1985
7

Query Rewriting Under Ontology Change

Year:
2016
Language:
english
File:
PDF, 331 KB
english, 2016
10

Intersection Types and Termination Properties

Year:
2012
File:
PDF, 122 KB
2012